101. Advances in Database Technology - EDBT '94 :
پدیدآورنده: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
102. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده: edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer software.
103. Advances in Intelligent Systems
پدیدآورنده: edited by Spyros G. Tzafestas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.,Information storage and retrieval systems.
104. Algorithmic Principles of Mathematical Programming
پدیدآورنده: by Ulrich Faigle, Walter Kern, Georg Still.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computational complexity.,Computer science.,Information theory.,Mathematical optimization.,Mathematics.
105. Algorithmic aspects in information and management :
پدیدآورنده: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
107. An Introduction to Linear and Nonlinear Finite Element Analysis
پدیدآورنده: by Prem K. Kythe, Dongming Wei.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Engineering.,Mathematics.
108. Applied Abstract Algebra
پدیدآورنده: by Rudolf Lidl, Günter Pilz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Mathematics.
109. Artificial intelligence in financial markets :
پدیدآورنده: Christian L. Dunis, Peter W. Middleton, Konstantinos Theofilatos, Andreas Karathanasopoulos, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Finance-- Computer programs.,Artificial Intelligence (incl. Robotics),Banking.,Corporate Finance.,Finance.,Investments and Securities.,Quantitative Finance.,Risk Management.
رده :
HG173
.
A78
2016
110. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
111. Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
112. BASIC theory of structures
پدیدآورنده: K. R. F. Andrews
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Structures, Theory of- Computer programs,BASIC (Computer program language)
رده :
TA
،
647
،.
A55
،
1985
113. BASIC theory of structures
پدیدآورنده: / K.R.F. Andrews,Andrews
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Structure, Theory of -- Computer programs,Basic (Computer program language)
رده :
TA
647
.
A55
1985
114. BASIC theory of structures
پدیدآورنده: Andrews, K. R. F.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Structural analysis )Engineering(- Computer programs,، BASIC )Computer program language(
116. BL
پدیدآورنده: edited by Thomas J. Biersteker and Sue E. Eckert.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
118. BL,Archives and archivists : key collaborators in the digital lbirary / William E. Landis, Robin L. Chandler -- Committing to memory : a project to publish and preserve California local history digital resources / Adrian L. Turner -- Technologically enhanced archival collections : using the buddy system / Dayna Holz -- California cultures : implementing a model for virtual collections / Genie Guerard, Robin L. Chandler -- The importance of user-centered design : exploring findings and methods / Rosalie Lack -- How and why of user studies : RLG's RedLightGreen as a case study / Merrilee Proffitt -- From horse-drawn wagon to hot rod : the University of California's digital image service experience / Maureen A. Burns -- Archiving web sites for preservation and access : MODS, METS and MINERVA / Rebecca Guenther, Leslie Myrick -- Video preservation and digital reformatting : pain and possibility / Jerome McDonough, Mona Jimenez -- Digital archiving and preservation : technologies and processes for a trusted repository / Ronald Jantz, Michael Giarlo -- The complexities of digital resources : collection boundaries and management responsibilities / Joan
پدیدآورنده: Philip Mattar, editor in chief. ,William E. Landis, Robin L. Chandler, editors.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
119. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
120. Biochemistry laboratory :
پدیدآورنده: Rodney Boyer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biochemistry, Laboratory manuals
رده :
QD415
.
5
.
B69
2012